Prefix classes of krom formulae with identity

نویسندگان

  • Stål O. Aanderaa
  • Egon Börger
  • Yuri Gurevich
چکیده

----------------------------------------------------Nutzungsbedingungen DigiZeitschriften e.V. gewährt ein nicht exklusives, nicht übertragbares, persönliches und beschränktes Recht auf Nutzung dieses Dokuments. Dieses Dokument ist ausschließlich für den persönlichen, nicht kommerziellen Gebrauch bestimmt. Das Copyright bleibt bei den Herausgebern oder sonstigen Rechteinhabern. Als Nutzer sind Sie sind nicht dazu berechtigt, eine Lizenz zu übertragen, zu transferieren oder an Dritte weiter zu geben. Die Nutzung stellt keine Übertragung des Eigentumsrechts an diesem Dokument dar und gilt vorbehaltlich der folgenden Einschränkungen: Sie müssen auf sämtlichen Kopien dieses Dokuments alle Urheberrechtshinweise und sonstigen Hinweise auf gesetzlichen Schutz beibehalten; und Sie dürfen dieses Dokument nicht in irgend einer Weise abändern, noch dürfen Sie dieses Dokument für öffentliche oder kommerzielle Zwecke vervielfältigen, öffentlich ausstellen, aufführen, vertreiben oder anderweitig nutzen; es sei denn, es liegt Ihnen eine schriftliche Genehmigung von DigiZeitschriften e.V. und vom Herausgeber oder sonstigen Rechteinhaber vor. Mit dem Gebrauch von DigiZeitschriften e.V. und der Verwendung dieses Dokuments erkennen Sie die Nutzungsbedingungen an.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Testable and Untestable Classes of First-Order Logic

Property testing is essentially a kind of constant-time randomized approximation. Alon et al. [3] were the first to consider the idea of testing properties expressible in syntactic subclasses of first-order logic. They proved the testability of all properties of undirected, loop-free graphs expressible with quantifier prefix ∃∗∀∗, and also that there exist untestable properties of undirected, l...

متن کامل

The Existential Fragment of the One-Step Parallel Rewriting Theory

It is known that the first-order theory with a single predicate → that denotes one-step rewriting reduction on terms is undecidable already for formulae with ∃∀ prefix. Several decidability results exist for the fragment of the theory in which the formulae start with the ∃ prefix only. This paper considers a similar fragment for a predicate → which denotes the parallel one-step rewriting reduct...

متن کامل

The Status of Trace and Toxic Elements in Biological Samples (Scalp Hair) of Skin-Disease Patients and Normal Subjects

Bulgular: Cilt hastal›¤› olan hastalar›n saç örneklerinde yap›lan incelemede, sa¤l›kl› kontrollere oranla çinko, bak›r ve demir düzeyleri anlaml› oranda düflük iken, krom ve nikel düzeyleri ile kurflun ve kadmiyum gibi toksik elementlerin düzeyleri ise anlaml› derecede artm›fl olarak bulundu. Ayn› benzerlik kad›n ve erkekler ve çal›fl›lan yafl gruplar› aras›nda da mevcuttu (6-15 yafl ve 16-30 y...

متن کامل

Testable and untestable classes of first-order formulae

In property testing, the goal is to distinguish structures that have some desired property from those that are far from having the property, based on only a small, random sample of the structure. We focus on the classification of first-order sentences according to their testability. This classification was initiated by Alon et al. [2], who showed that graph properties expressible with prefix ∃∗...

متن کامل

Parametric Euler Sum Identities

We consider some parametrized classes of multiple sums first studied by Euler. Identities between meromorphic functions of one or more variables in many cases account for reduction formulae for these sums.  2005 Elsevier Inc. All rights reserved.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Arch. Math. Log.

دوره 22  شماره 

صفحات  -

تاریخ انتشار 1980